Electronic Voting: A Safety Critical System
نویسنده
چکیده
This project was motivated by the growing apprehension among Irish citizens over the electronic voting system being introduced here. The aims of the project were three: to discover what would be required of an electronic voting system to make it a suitable replacement for the existing paper-ballot system; to examine whether the Nedap/Powervote system meets those requirements; to begin the process of designing and implementing a system which could meet the requirements. The first two goals were achieved through research into the opinions of experts on electronic voting and computer security. The third was achieved with the use of formal methods.
منابع مشابه
Voting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملDouble voter perceptible blind signature based electronic voting protocol
Mu et al. have proposed an electronic voting protocol and claimed that it protects anonymity of voters, detects double voting and authenticates eligible voters. It has been shown that it does not protect voter's privacy and prevent double voting. After that, several schemes have been presented to fulfill these properties. However, many of them suffer from the same weaknesses. In this p...
متن کاملBAN Logic Analysis of the UK Rolling Registration and Postal Voting Systems
Concerns are often raised as to the safety of remote voting systems (and indeed polling station voting systems) when conducted using electronic equipment. Here, a formal analysis is conducted of the UK postal ballot system in order to demonstrate that some of the concerns regarding remote electronic voting are as applicable to remote paper based system.
متن کاملRefinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Electronic voting machines have complex requirements. These machines should be developed following best practice with regards to the engineering of critical systems. The correctness and security of these systems is critical because an insecure system could be open to attack, potentially leading to an election returning an incorrect result or an election not being able to return any result. In t...
متن کامل